This note provides a correct proof of the result claimed by the second authorthat locally compact normal spaces are collectionwise Hausdorff in certainmodels obtained by forcing with a coherent Souslin tree. A novel feature of theproof is the use of saturation of the non-stationary ideal on \omega_1, as wellas of a strong form of Chang's Conjecture. Together with other improvements,this enables the characterization of locally compact hereditarily paracompactspaces as those locally compact, hereditarily normal spaces that do not includea copy of \omega_1.
展开▼